منابع مشابه
Axiomatisations of Weak Equivalences for De Simone Languages
Aceto, Bloom and Vaandrager proposed in ABV92] a procedure for generating a complete axiomatisation of strong bisimulation for process languages in the GSOS format. However, the choice operator +, which the procedure uses, as well as other auxiliary GSOS operators, which it introduces to obtain a nite axiomatisation, do not preserve many of weak equivalences. We propose a modiication of this pr...
متن کاملBoard Simone
Consolidated Enterprise IT solutions have proven to enhance business efficiency when significant fractions of local computing activities are migrating away from desktop PCs and departmental servers and are being integrated and packaged on the Web into “the computing cloud.” Whether referred to Grid, Utility or Cloud Computing, the idea is basically the same: instead of investing in and maintain...
متن کاملPsychologie aktuell: 2016-1
Response times can be modeled along with response accuracy to estimate ability. Models that do not use response times were compared with three models that do. The predictive accuracy of the models were assessed using leave-out-one-item cross-validation where for a k item test each method is used k times with k-1 items to create ability estimates and these estimates are used to predict responses...
متن کاملGiorgio Spiazzi, Simone Buso
The paper presents a simple soft-switching forward DC-DC converter suitable for low power applications. A lossless passive turn-off snubber is employed to provide zero voltage turn off of the switch as well as transformer reset. Moreover, the choice to operate the converter in discontinuous conduction mode (DCM), while providing zero current turn on of the switch, also allows to simplify the to...
متن کاملOld Age
In his sixty-fifth year George Sanders took his own life, leaving a note saying that he was bored. Writing in her sixty-fourth year, Simone de Beauvoir is determined that she, at any rate, will not be bored by old age. This book is a tribute to her energy in researching the sociological, psychological and anthropological aspects of old age?historically and in the present day. Its length (over 5...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: HumaNetten
سال: 2015
ISSN: 1403-2279
DOI: 10.15626/hn.19970106